全称量词 (一阶谓词演算)

universal quantifier in fopc  detail>>

一阶谓词演算

first-order logic first-order predicate calculus fopc  detail>>

二阶谓词演算

second-order predicate calculus  detail>>

高阶谓词演算

high-order predicate calculus higher order predicate calculus higher-order predicate calcu...  detail>>

三阶谓词演算

predicate calculus of the third order  detail>>

一阶纯谓词演算

pure predicate calculus of first order  detail>>

一阶谓词

first-order predicate predicate of first order  detail>>

谓词演算

first-order logic predicate calculus predicate logic predicative calculus  detail>>

狭谓词演算

restricted predicate calculus  detail>>

全称量词

allquantor universal quantifier; general quantifier universal quantification universal qua...  detail>>

一阶谓词逻辑

first order predicate logic first-order logic first-order predicate logic  detail>>

广义谓词演算

extended predicate calculus  detail>>

谓词演算语言

predicate calculus language  detail>>

一元谓词演算

monadic predicate calculus one place predicate calculus unary predicate calculus  detail>>

无界全称量词

unbounded universal quantifier  detail>>

有界全称量词

bounded universal quantifier  detail>>

拟受囿全称量词

quasi-limited univerasl quantifier quasi-limiteduniveraslquantifier  detail>>

全称量词化变元

universally quantified riable universally quantified variable universallyquantifiedriable  detail>>